Search results for " Concurrency"

showing 4 items of 4 documents

A recognize-and-accuse policy to speed up distributed processes

1994

Distributed design patternsSpeedupComputer scienceDistributed algorithmDistributed computingDistributed concurrency controlParallel computingProceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94
researchProduct

Verification of Well-Formed Communicating Recursive State Machines

2008

AbstractIn this paper we introduce a new (non-Turing equivalent) formal model of recursive concurrent programs called well-formed communicating recursive state machines (CRSM). CRSM extend recursive state machines (RSM) by allowing a restricted form of concurrency: a state of a module can be refined into a finite collection of modules (working in parallel) in a potentially recursive manner. Communication is only possible between the activations of modules invoked on the same fork. We study the model-checking problem of CRSM with respect to specifications expressed in a temporal logic that extends CaRet with a parallel operator (ConCaRet). We propose a decision algorithm that runs in time ex…

Model checkingModel checkingTheoretical computer scienceGeneral Computer ScienceComputer scienceInfinite state systemModuloConcurrencyTree automataTheoretical Computer ScienceFormal models of concurrency and recursionTuring machinesymbols.namesakeFormal specificationTemporal logicContext-free specificationsRecursionLinear-time logicsPushdown systemsAbstract interpretationAutomatonTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESInfinite-state systemsrecursive state machinesymbolsState (computer science)Linear time logicAlgorithmComputer Science(all)
researchProduct

A Medium Level Language for Pyramid Architectures

1989

In the paper a Parallel C Languages for pyramid architectures is described. The concept of context is introduced in order to handle concurrence between processes in massive parallel machines. Feature implementation on the PAPIA-machine are given.

Settore INF/01 - InformaticaComputer scienceSpeech recognitionConcurrencyPyramidFeature (machine learning)ConcurrenceContext (language use)Parallel computingParallel languages Concurrency Image Analysis Pyramids.
researchProduct

System for Executing Encrypted Java Programs

2017

pääsynvalvontavirtualisointiJavaComputer sciencetrusted computing02 engineering and technologycomputer.software_genreEncryptionReal time Java020204 information systems0202 electrical engineering electronic engineering information engineeringtietoturvahypervisorJava appletcomputer.programming_languageta113Programming languagebusiness.industrystrictfp020207 software engineeringvirtualizationJava concurrencyremote attestationbusinesscomputerJava annotationJavaProceedings of the 3rd International Conference on Information Systems Security and Privacy
researchProduct